C programming language)

Results: 6760



#Item
131Software engineering / Computing / Computer programming / Formal languages / Theoretical computer science / Notation / Programming language / Specification / Category / C / Regular expression / Web Ontology Language

Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved

Add to Reading List

Source URL: www.specware.org

Language: English - Date: 2012-04-12 03:46:19
132Computer memory / Parallel computing / Concurrent computing / Compiler construction / Programming language design / Linearizability / Memory model / C++ / Thread / Abstraction / Concurrency / Memory barrier

The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Add to Reading List

Source URL: www.sigplan.org

Language: English - Date: 2016-02-02 16:06:41
133Software engineering / Computing / Programming language theory / Contract law / Assignment / C

ASSIGNMENT COVER SHEET TITLE FIRST NAME

Add to Reading List

Source URL: www.chc.edu.au

Language: English - Date: 2015-07-23 11:54:56
134

Can Seqlocks Get Along with Programming Language Memory Models? Hans-J. Boehm HP Labs Seqlocks Seqlocks, version 0 (C++11, broken)

Add to Reading List

Source URL: safari.ece.cmu.edu

Language: English - Date: 2013-09-24 23:28:42
    135Software engineering / Programming language theory / Computer programming / C++ / C / Procedural programming languages / C++ classes / Struct / ALGOL 68 / Polytope model / Array data structure / Compatibility of C and C++

    On recovering multi-dimensional arrays in Polly Tobias Grosser, Sebastian Pop, J. Ramanujam, P. Sadayappan ETH Z¨ urich, Samsung R&D Center Austin, Louisiana State University, Ohio State University 19. January 2015

    Add to Reading List

    Source URL: www.grosser.es

    Language: English - Date: 2015-08-09 09:14:53
    136Compiler construction / Programming language implementation / Compiler optimizations / Object-oriented programming languages / Type theory / Compiler / Just-in-time compilation / Interpreter / Type inference / Objective-C / Static single assignment form / C

    Type Check Removal Using Lazy Interprocedural Code Versioning Baptiste Saleil Marc Feeley

    Add to Reading List

    Source URL: andykeep.com

    Language: English - Date: 2015-09-01 05:05:21
    137

    Published in:The Practical Application of Prolog - 1 { 3 AprilInstitute of Electrical Engineers, London Use of Prolog for developing a new programming language J. L. Armstrong, S. R. Virding, M. C. Williams Comput

    Add to Reading List

    Source URL: www.erlang.se

    Language: English - Date: 2006-03-16 11:17:53
      138Cross-platform software / Data types / Object-oriented programming languages / Programming language comparisons / Java platform / Java / D / Constructor / Sun Microsystems / C Sharp / Array data type / Constant

      Titanium Language Reference Manual, versionPaul N. Hilfinger Dan Oscar Bonachea Kaushik Datta David Gay

      Add to Reading List

      Source URL: titanium.cs.berkeley.edu

      Language: English - Date: 2014-04-29 06:11:56
      139Computer memory / Parallel computing / Concurrent computing / Compiler construction / Programming language design / Linearizability / Memory model / C++ / Thread / Abstraction / Concurrency / Memory barrier

      The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

      Add to Reading List

      Source URL: sigplan.org

      Language: English - Date: 2016-02-02 16:06:41
      140

      WG14 N1952 Business Plan and Convener’s Report ISO/IEC JTC 1/SC 22/WG 14 (The Programming Language C) Document: ISO/IEC JTC 1/SC 22/WG 14 N1952

      Add to Reading List

      Source URL: www.open-std.org

      Language: English - Date: 2015-07-31 09:58:33
        UPDATE